1. An introduction to formal specification and Z
Author: Ben Potter, Jane Sinclair, David Till
Library: Library of Institute of Geophysics University of Tehran (Tehran)
Subject: Computer software - Geotools,Z )Computer program language(
Classification :
QA
76
.
76
.
D47
2. Design patterns :elements of reusable object-oriented software
Author: Erich Gamma ... ]et al.[
Library: Library of Institute of Geophysics University of Tehran (Tehran)
Subject: Object-oriented programming )Computer science(,Computer software - Geotools,Software patterns
Classification :
QA
76
.
64
.
D47
1995
3. Geotools MT User's Guide
Author:
Library: Library of Institute of Geophysics University of Tehran (Tehran)
Subject: Computer software - Geotools,Magnetotelluric - Computer software
Classification :
QA
76
.
6
.
G4
4. Proceedings of the 1994 international conference on parallel processing August 15-19, 1994
Author: K.C. Tai
Library: Library of Institute of Geophysics University of Tehran (Tehran)
Subject: Parallel processing)electronic computers(,Computer architecture,Computer software - Geotools,Electronic data processing,Computer networks
Classification :
QA
76
.
6
.
I5
1994
5. Software inspection
Author: Tom Gilb, Dorothy Graham ; edited by Susannah Finzi
Library: Library of Institute of Geophysics University of Tehran (Tehran)
Subject: Computer software - Geotools
Classification :
QA
76
.
76
.
Q35
.
G48
1993
6. Software project management
Author: Bob Hughes and Mike Cotterell
Library: Library of Institute of Geophysics University of Tehran (Tehran)
Subject: Computer software - Geotools
Classification :
QA
76
.
76
.
H8
.
S64
